Capturing Sense in Intensional Contexts
نویسندگان
چکیده
An account is ooered of the sense of referring expressions in in-tensional contexts. Unlike Russell's classic account in terms of the de re/de dicto distinction, this doesn't rely on a quantiier scope ambiguity in the logical form. Instead, diierent senses of a referring expression are captured by the diierent discourse models which emerge in diier-ent contexts of use. This approach has two advantages over Russell's. It is more general, extending to contexts which aren't explicitly inten-sional. Furthermore, it doesn't rely on proposing a spurious ambiguity in the logical form.
منابع مشابه
Intensional objects
We summarize the interaction between the theory behind intensional programming, as seen in Lucid; and intensional versioning, as seen in Lemur, Intensional HTML, ISE, VMAKE, etc. These two concepts can be seen to be duals of each other, and they rely on dual notions of store, the warehouse for caching values, and the catalog for providing definitions. Catalogs contain intensional objects, which...
متن کاملAn Intensional Functional Model of Trust
essential properties of trust its dynamics context-dependence, calculation, evolution It should be possible to reason about trust across contexts to import trust model into a programming language to include trust model in designing trustworthy computing systems IFIP2008 – p. 5/18 Intension and Extension Intensional logic permits expressions whose value depends on hidden contexts. The real meani...
متن کاملIntensional Programming for Agent Communication
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid. For the language thus extended, a calculus of contexts and a logic of contexts are provided. The paper gives definitions, syntax, and operators for context, and introduces an operational semantics for evaluating expr...
متن کاملDenotation by Sense and Reference
The notion of reference as entailment in the common ground provides a uniied framework for the treatment of denotation by names, deenite descriptions, and pronouns, including anaphors. Within this framework, semantic and pragmatic considerations are combined, giving two kinds of proof of denotation, by sense and by reference, for references to individuals which are and aren't already in the com...
متن کاملBlanca Mancilla Intensional Infrastructure for Collaborative Mapping
This thesis presents the Anita Conti Mapping Server, a Web interface and infrastructure for the creation and presentation of maps using an active, pervasive, multidimensional, global context. For each user, the context contains the parameterizations for every component of the system. In addition, parts of a user’s context may be shared with other users, so that the actions of one user directly ...
متن کامل